@bookEngels_Pletat_Ehrich_1981, title=Handling Errors and Exceptions in the Algebraic Specifications of Data Types, publisher=University of Osnabrück, author=Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich, year=1981 
LibreCat: /record/8184

@bookPletat_Engels_Ehrich_1981, title=Operational Semantics of Algebraic Specifications with Conditional Equations, publisher=University of Dortmund, Department of Computer Science, author=Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich, year=1981 
LibreCat: /record/8185

@inbookMeyer auf der Heide_Rollik_1981, place=Berlin, Heidelberg, title=Random access machines and straight-line programs, DOI=10.1007/3-540-10854-8_29, booktitle=Fundamentals of Computation Theory, author=Meyer auf der Heide, Friedhelm and Rollik, Anton, year=1981 
LibreCat: /record/16813
DOI: 10.1007/3-540-10854-8_29

@inbookMeyer auf der Heide_1981, place=Berlin, Heidelberg, title=Time-processor trade-offs for universal parallel computers, DOI=10.1007/3-540-10856-4_111, booktitle=Lecture Notes in Computer Science, author=Meyer auf der Heide, Friedhelm, year=1981 
LibreCat: /record/16814
DOI: 10.1007/3-540-10856-4_111

@articleMeyer auf der Heide_1981, title=A comparison of two variations of a pebble game on graphs, DOI=10.1016/s0304-3975(81)80004-7, journal=Theoretical Computer Science, author=Meyer auf der Heide, Friedhelm, year=1981, pages=315–322 
LibreCat: /record/16820
DOI: 10.1016/s0304-3975(81)80004-7

@bookBöcker_1981, title=Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme, publisher=Institut für Regelungstechnik, TU Berlin, author=Böcker, Joachim, year=1981 
LibreCat: /record/30187