PASCAL : Anleitung zur systematischen Programmierung und Konstruktion zuverlässiger Programme ; mit Anwendungsbeispielen in Standard- und Turbo-PASCAL