Bernd Krieg-Brückner. Transformation of Interface Specifications. In Hans-Jörg Kreowski, editor, Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Volume 116 of Informatik-Fachberichte, pages 156-170, Springer, 1984.
@inproceedings{Krieg-Bruckner84,
title = {Transformation of Interface Specifications},
author = {Bernd Krieg-Brückner},
year = {1984},
tags = {transformation},
researchr = {https://researchr.org/publication/Krieg-Bruckner84},
cites = {0},
citedby = {0},
pages = {156-170},
booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers},
editor = {Hans-Jörg Kreowski},
volume = {116},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-16077-9},
}