Title: Logic and algebra of specification
Subjects: Computer science, Mathematics, Symbolic and mathematical Logic