Title: Programming from specifications
First published: 1990
Subjects: Computer programming, Electronic digital computers, programming