On the formal analysis of telecommunication protocols - Orava, Fredrik (Publication / Department of Computer Systems, Uppsala University ;, 1994)