Title: Program specification and transformation
First published: 1987
Subjects: Electronic digital computers, Programming, Computer programming, Congresses
LC classification: QA76.6