An overview of a refinement editor (1990)

by T Vickers
Venue:In Proceedings of the Fifth Australian Software Engineering Conference (ASWEC'90