Behavioural subtyping in process algebra. - C. Briscoe-Smith (2000)