A System for Developing Programs by Transformation (1979)

by M S FEATHER