Bank: obj
%visible StringLib,DK.AarhusUniversity.PersonLib
-- Declaration of Account pattern
Account:
%Public
balance: var integer -- The balance of this Account
owner: ref Person
deposit:
withdraw:
display:
Joe: obj Account -- A const ref to An Account object
Mary: ref Account