Title: The specification of computer programs
First published: 1987
Subjects: Development, Computer programming, Computer software, Electronic digital computers, Programming
LC classification: QA76.6