Title: Software Engineering with OBJ
Subjects: Software engineering, Algebra, Programming languages (electronic computers)