Algebraic Specification for Practical Software Production by Charles Rattray | Menrva Books