Michel Bidoit, Christine Choppy, editors, Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers. Volume 655 of Lecture Notes in Computer Science, Springer, 1993.
Conference: compass1993
@proceedings{compass:1991,
title = {Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers},
year = {1993},
researchr = {https://researchr.org/publication/compass%3A1991},
cites = {0},
citedby = {0},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers},
conference = {compass},
editor = {Michel Bidoit and Christine Choppy},
volume = {655},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56379-2},
}