ppig-1992
Teaching Formal Software Engineering at Loughborough
R G Stone, D J Cooke