APA (7th ed.) Citation

Srivas, M. K. (1982). Automatic synthesis of implementations for abstract data types from algebraic specifications. Laboratory for Computer Science, Massachusetts Inst. of Technology.

Chicago Style (17th ed.) Citation

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 (9th ed.) Citation

Srivas, Mandayam K. Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications. Laboratory for Computer Science, Massachusetts Inst. of Technology, 1982.