Correctness proofs for abstract implementations

Bernot, 1986, 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 Bernot, 1987, Good functors … are those preserving philosophy!, Vol. 283, 182 Bernot, 1986, Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors, Theoret. Comput. Sci., 46, 13, 10.1016/0304-3975(86)90019-8 Bidoit, 1982, Algebraic data types: Structured specifications and fair presentations Bougé, 1982, Modélisation de la notion de tests de programme Bougé, 1986, Test sets generation from algebraic specifications using logic programming, J. Systems Software, 6, 10.1016/0164-1212(86)90004-X Ehrig, 1982, Algebraic implementation of abstract data types, Theoret. Comput. Sci., 20, 209, 10.1016/S0304-3975(82)80001-7 Ehrig, 1980, Algebraic implementation of abstract data types: Concept, syntax, semantics, and correctness, Vol. 85 Ehrig, 1980, Parameterized data types in algebraic specification langages Gaudel, 1980, Génération et preuve de compilateurs basée sur une sémantique formelle des langages de programmation, Thèse d'état Gaudel, 1986, Automation of Testing in Software Development Gaudel, 1988, A theory of software reusability Goguen, 1976, An initial algebra approach to the specification, correctness, and implementation of abstract data types, Vol. 4 Goguen, 1976, An initial algebra approach to the specification, correctness, and implementation of abstract data types, IBM Report RC 6487 Goguen, 1978, Abstract data types as initial algebras and the correctness of data representation, Vol. 4, 80 Guttag, 1975, The Specification and Application to Programming Guttag, 1976, Abstract data types and software validation, Comm., 21 Hoare, 1972, Proofs of correctness of data representation, Acta Inform., 1, 271, 10.1007/BF00289507 Liskov, 1975, Specification techniques for data abstractions, IEEE Trans. Software Engrg., SE-1, 10.1109/TSE.1975.6312816 Sannella, 1987, Implementations revisited Sannella, 1982 Sannella, 1983, A kernel language for algebraic specification and implementation, Vol. 158 Schoett, 1987, Data Abstraction and the Correctness of Modular Programming