Title: Developing Programs by Transformation (Edinburgh Information Technology Series, 4)
Subjects: Computer programming