Pascal: an Introduction to the Art and Science of Programming, Walter J. Savitch

An Introduction to Formal Specification With Z and Vdm, Deri Sheppard

Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine

Wilkinson-Latham, Robert Discovering British Military Badges Et Boutons / R.j

Introduction to microprocessor programming using PLZ, Unknown

The Illustrated Pepys, Samuel Pepys et Robert Latham

Introduction to Computer Science Using PASCAL, Unknown

VDM - 10 ans déjà !, Collectif