1. West, C.H., and Zafiropulo, P.: ‘Automated validation of a communications protocol: theCCITTX.21 recommendation’, IBM Journal of Research & Development, 1978),22, p. 60-71
2. Milme, G.A.: ‘CIRCAL, a calculus for circuit description, Integration’, 1983),1, p. 121-160
3. Wolf, W.A., Shaw, M., Hilfinger, P.N., and Flon, L.: ‘Fundamental structures of computer science’, 1981)
4. Cook, S.: ‘Modelling generic user-interfaces with functional programs’, Department of Computer Science & Statistics Report, Queen Mary College, London, England 1987)
5. ‘Notes for the PAISLey workshop’, Report, AT & T Bell Laboratories, , Holmdel, NJ, USA, 1984