Practical Formal Software Engineering door Bruce Mills & Bruce Ian Mills