Srivas, M. K. (1982). Automatic synthesis of implementations for abstract data types from algebraic specifications. Laboratory for Computer Science, Massachusetts Inst. of Technology.
Chicago-Zitierstil (17. Ausg.)Srivas, Mandayam K. Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications. Cambridge, Mass: Laboratory for Computer Science, Massachusetts Inst. of Technology, 1982.
MLA-Zitierstil (9. Ausg.)Srivas, Mandayam K. Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications. Laboratory for Computer Science, Massachusetts Inst. of Technology, 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.