Title: An implementation of OBJ2
First published: 1985
Subjects: Logic, Symbolic and mathematical, Programming languages (Electronic computers), Symbolic and mathematical Logic