Marcin Czenko, Jean-Luc Raffy. JEstelle novel approach to the distributed Java systems specification and development. In James F. Power, John Waldron, editors, Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003. Volume 42 of ACM International Conference Proceeding Series, pages 213-218, ACM, 2003. [doi]
Abstract is missing.