U. Lechner, C. Lengauer, и 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, стр. 351--367. London, UK, Springer-Verlag, (1995)