Advances in theory and formal methods of computing proceedings of the third Imperial College Workshop ; Christ Church, Oxford 1 - 3 April 1996 (Imperial College Press, 1996)