Software Engineering with OBJ

Bok