A. Sane, and R. Campbell. OOPSLA '95: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, 30, page 17--32. New York, NY, USA, ACM Press, (October 1995)
U. Lechner, C. Lengauer, and M. Wirsing. Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, 906, page 351--367. London, UK, Springer-Verlag, (1995)