1950
3 works on record
Specification and Transformation of Programs Monographs in Computer Science
Formal program development
Specification and transformation of programs