Title: Specification and programming
First published: 1998
Subjects: Calculus, Computer programming, Computer programs