Formal Aspects of Computing (Springer Verlag London, 1989)