ELECTRONIC WORKSHOPS IN COMPUTING Series edited by Professor C.J. van Rijsbergen David N. Turner (Ed) Functional Programming, Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 Paper: Formal Specification of Interconnection Networks John O'Donnell and Gudula Rünger Published in collaboration with the British Computer Society Copyright in this paper belongs to the author(s)