Σηφάκης, Ιωσήφ, Program specification and verification, 123-124, 1997, Πανεπιστήμιο Κύπρου,