Global development via local observational construction steps (2002)

by M Bidoit, D Sannella, A Tarlecki
Venue:Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, MFCS’02. Springer LNCS 2420