Title: Towards certification of computer programs
First published: 1975
Subjects: Computer programming, Ability testing