References
- Dijkstra , E.W. 1976 . A discipline of programming , Prentice-Hall .
- Curien , P.L. and Obtulowicz , A. 1987 . Partiality, Cartesian Closedness and Toposes , 87 – 3 . LIENS . Rapport de Recherche
- Arbib Manes , E. 1986 . Algebraic Approaches to Program Semantics , Springer-Verlag .
- Manes , E. 1986 . “ Additive domains ” . In L.N.C.S , Vol. 239 , 184 – 195 . Springer-Verlag .
- Manes , E. 1988 . “ Assertional categories ” . In L.N.C.S , Vol. 298 , 85 – 120 . Springer-Verlag .
- Manes , E. . Algebraic Semantics . Seminar in Mallorca . March , Spain
- Rydeheard , D.E. and Burstall , R.M. 1988 . Computational Category Theory , Prentice-Hall .
- Rydeheard , David E. 1985 . “ Tutorials ” . In L.N.C.S , Vol. 240 , 43 – 57 . Springer-Verlag .
- Wagner , Eric G. 1985 . “ Categories, data types and imperative languages ” . In L.N.C.S , Vol. 240 , 143 – 162 . Springer-Verlag .