Correctness in the Small. - Peter Haastrup; Christian Gram (VDM Europe, 1990)