Algebraic Specifications in Software Engineering

'I prefer to view formal methods as tools. the use of which might be helpful.' E. W. Dijkstra Alg...