@inproceedings{1d03d5cca7c14e90b876225ecc110f55,
title = "Examples for change of types and object structures",
abstract = "The abstract, algebraic definition of data types by describing their properties forms a solid formal basis for the specification of computation structures independent of their particular representations. Thus programs can be designed and developed working with objects of an abstractly defined computation structure. The choice of particular representations (implementations), the releasing of this representation to the {"}outer world{"} and the consequences on further program development are demonstrated with examples of joint refinement.",
author = "H. Partsch and M. Broy",
note = "Publisher Copyright: {\textcopyright} 1979, Springer-Verlag.; International Summer School on Program Construction, 1978 ; Conference date: 26-07-1978 Through 06-08-1978",
year = "1979",
doi = "10.1007/BFb0014676",
language = "English",
isbn = "9783540092513",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "421--463",
editor = "Bauer, \{Friedrich L.\} and Manfred Broy",
booktitle = "Program Construction - International Summer School",
}