DTRE – a semi-automatic transformation system (1991)

by Lee Blaine, Allen Goldberg
Venue:In Constructing Programs from Specifications