Title: The design of well-structured and correct programs
Subjects: Computer programming, Pascal (Computer program language), Algorithmes, Programmation structuree, Strukturierte Programmierung, Programmation (Informatique), Programmverifikation, PASCAL (Langage de programmation), Exactitude, PASCAL, Logiciels, Programmierung, Manuels d'enseignement, Evaluation, Pascal, Programming - general & miscellaneous