A System for Developing Programs by Transformation (1979)

by M S Feather
Venue:University of Edingburgh