@book{
183-12087721X,
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},
series = {},
series = {655},
author = {Bidoit, Michel},
editor = {Bidoit, Michel},
address = {Berlin},
publisher = {Springer},
year = {1993},
isbn = {3540563792},
isbn = {0387563792},
language = {English},
note = {Literaturangaben},
url = {https://zbmath.org/?q=an:0825.00065},
url = {https://katalog.fid-bbi.de/Record/183-12087721X}
}