@Book{1609282019,
editor="Bauer, Friedrich L.",
title="Logic and algebra of specification: [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]",
series="NATO ASI series / F 94",
year="1993",
publisher="Springer",
address="Berlin",
keywords="Algebraische Spezifikation; ComputerMathematics; Logic, Symbolic and mathematical; Computer scienceMathematics",
note="ed. by Friedrich L. Bauer ...",
note="Includes bibliographical references",
note="Archivierung/Langzeitarchivierung gew{\"a}hrleistet PEBW XA-DE-BW pdager DE-31",
isbn="3540558136",
language="English"
}