Michel Bidoit, Donald Sannella, Andrzej Tarlecki. Global Development via Local Observational Construction Steps. In Krzysztof Diks, Wojciech Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Volume 2420 of Lecture Notes in Computer Science, pages 1-24, Springer, 2002. [doi]
Abstract is missing.