1. Arbib, M.A. and Manes, E.G. Arrows, Structures and Functors: the categorical imperative. Academic Press: New York, London, 1975.
2. Rydzyna. Lecture Notes in Computer Science;RM Burstall,1980
3. Lecture Notes in Computer Science;RM Burstall,1980
4. Burstall, R.M. and Goguen, J.A. An informal introduction to specifications using Clear, in: The Correctness Problem in Computer Science, Academic Press (to appear), 1981.
5. IBM Technical Report RC;JA Goguen,1975