implementation of OBJ2
Subtitle: a logic programming language for abstract program specification
By: by S. Sridhar.
Published: 1985
Language: eng
Number of pages: 82
Subjects: Programming languages (Electronic computers); Logic, Symbolic and mathematical.
Notes: Typescript.

Thesis (M.S.)--Washington State University, 1985.

Bibliography: leaves [72]-75.

WSU:"Department of Computer Science."