Good functors... are those preserving philosophy !

 Access to full text

 Full (PDF)

1. [ADJ 76] Goguen J., Thatcher J., Wagner E. : " An initial algebra approach to the specification, correctness, and implementation of abstract data types", Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978. Also : IBM Report RC 6487, Oct. 1976. 
2. [ADJ 80] Ehrig H., Kreowski H., Thatcher J., Wagner J., Wright J. : " Parameterized data types in algebraic specification langages", Proc. 7th ICALP, July 1980. Zbl0456.68101
3. [BBC 86.a] Bernot G., Bidoit M., Choppy C. : " Abstract implementations and correctness proofs", Proc. 3rd STACS, January 1986, Springer-Verlag LNCS 210, January 1986. Also : LRI Report 250, Orsay, Dec. 1985. Zbl0585.68025MR827740
4. [BBC 86b] Bernot G., Bidoit M., Choppy C. : " Abstract data types with exception handling : an initial approach based on a distinction between exceptions and errors", Theoretical Computer Science, Vol. 46, n° 1, p. 13-45, November 1986. Zbl0603.68015MR868261
5. [Ber 86] Bernot G. : " Une sémantique algébrique pour une spécification différenciée des exceptions et des erreurs : application à l' implémentation et aux primitives de structuration des spécifications formelles", Thèse de troisième cycle, LRI, Université de Paris-Sud, Orsay, Février 1986. 
6. [Bid 82] Bidoit M. : " Algebraic data types: structured specifications and fair presentations", Proc. AFCET Symposium on Mathematics for Computer Science, Paris, March 1982. Zbl0514.68025
7. [Bid 84] Bidoit M. : " Algebraic specification of exception handling by means of declarations and equations", Proc. 11th ICALP, Springer-Verlag LNCS 172, July 1984. Zbl0553.68013MR784240
8. [BPW 82] Broy M., Pair C., Wirsing M. : " A systematic study of models of abstract data types", Theoretical Computer Sciences, p. 139-174, vol. 33, October 1984. Zbl0552.68010MR767390
9. [BW 82] Broy M., Wirsing M. : " Partial abstract data types", Acta Informatica, Vol. 18-1, Nov, 1982. Zbl0494.68020
10. [EKMP 80] Ehrig H., Kreowski H., Mahr B., Padawitz P. : " Algebraic implementation of abstract data types", Theoretical Computer Science, Oct. 1980. Zbl0483.68018
11. [EKP 80] Ehrig H., Kreowski H., Padawitz P. : " Algebraic implementation of abstract data types: concept, syntax, semantics and correctness", Proc. ICALP, Springer-Verlag LNCS 85, 1980. Zbl0457.68019MR589000
12. [FGJM 85] Futatsugi K., Goguen J., Jouannaud J-P., Meseguer J. : " Principles of OBJ2", Proc. 12th ACM Symp. on Principle of Programming Languages, New Orleans, January 1985. 
13. [Gau 78] Gaudel M-C. : " Spécifications incomplètes mais suffisantes de la représentation des types abstraits", Laboria Report 320, 1978. 
14. [Gau 84] Gaudel M-C. : " A first introduction to PLUSS", LRI Report, Orsay, December 1984. 
15. [GDLE 84] Gogolla M., Drosten K., Lipeck U., Ehrich H.D. : " Algebraic and operational semantics of specifications allowing exceptions and errors", Theoretical Computer Science 34, North Holland, 1984. Zbl0553.68012MR773458
16. [GH 83] Guttag J.V., Horning J.J. : " An introduction to the LARCH shared language", Proc. IFIP 83, REA Mason ed., North Holland Publishing Company, 1983. Zbl0581.68007
17. [Kam 80] Kamin S. : " Final data type specifications : a new data type specification method", Proc. of the 7th POPL Conference, 1980. 
18. [SW 82] Sannella D., Wirsing M. : " Implementation of parameterized specifications", Report CSR-103-82, Department of Computer Science, University of Edinburgh. 
19. [SW 83] Sannella D., Wirsing M. : " A kernel language for algebraic specification and implementation", Proc. Intl. Conf. on Foundations of computation Theory, Springer-Verlag, LNCS 158, 1983. Zbl0517.68043MR734738
20. [Wir 82] Wirsing M. : " Structured algebraic specifications", Proc. of AFCET Symposium on Mathematics for Computer Science, Paris, March 1982. Zbl0514.68024