Typing and subtyping for mobile processes (1993)