Towards a Formal Description of Ada | DealShopping Deutschland