DTRE – a semi-automatic transformation system (1991)

by L Blaine, A Goldberg
Venue:In Constructing Programs from Specifications