References
- [1]
-
Roderick Durmiendo and Chris George.
Formal Development of a Digital Mutiplexed Radio-Telephone System.
Research Report 67, UNU/IIST, P.O.Box 3058, Macau, Feb 1996
- [2]
-
Hoang Thi Tung Lam and Richard Moore.
Specification of a Switching Communications System.
Technical Report 106, UNU/IIST, P.O.Box 3058, Macau, May 1997
info@iist.unu.edu, January 1998