DTRE - A SemiAutomatic Transformation System (1991)

by L Blaine, A Goldberg
Venue:in Constructing Programs from Specifications, Elsevier Science Publishers