@book{
183-595126804,
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 u.a.},
publisher = {Springer},
year = {1993},
isbn = {9783540475453},
language = {English},
note = {Literaturangaben},
url = {http://www.springerlink.com/content/p04544882t52},
url = {http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56379-2},
url = {http://dx.doi.org/10.1007/3-540-56379-2},
url = {https://doi.org/10.1007/3-540-56379-2},
url = {https://zbmath.org/?q=an:0825.00065},
url = {https://katalog.fid-bbi.de/Record/183-595126804}
}