controlling software structure (1989)

by R Schwanke, R Altucher, M Plato
Venue:Proceedings of the Fifth International Workshop on Software Speci cation and Design