Formal specification and analysis of intelligent network services and their interaction - Anthony Yiu Hung Lee (1992)