A prototype program refinement editor (1988)

by D A Carrington, K A Robinson
Venue:In Australian Software Engineering Conference