Global development via local observational construction steps (2002)

by M Bidoit, D Sannella, A Tarlecki
Venue:In Proc. 27th Intl. Symp. Mathematical Foundations of Computer Science, LNCS 2420