Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop - Hankin, Chris; Mackie, I. (Ian); Nagarajan, R. (Rajagopal) (Imperial College Press, 1995)