669	 A Specification of JOVIAL
