1. Lecture Notes in Computer Science,2004
2. Broy, M., Wirsing, M., Pair, C.: A Systematic Study of Models of Abstract Data Types. Theoretical Computer Science 33, 139–174 (1984)
3. Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. In: Proc. 5th IJCAI, pp. 1045–1058. MIT, Cambridge (1977)
4. Lecture Notes in Computer Science;R.M. Burstall,1980
5. Common Framework Initiative (CoFI),
http://www.informatik.uni-bremen.de/cofi/wiki/index.php/CoFI