@inproceedings{OR95, author = {O'Donnell, J. and R\"{u}nger, G.}, title = {{Formal Specification of Interconnection Networks}}, booktitle = {Proceedings of the 1995 Glasgow Workshop on Functional Programming}, pages = {1--11}, month = {July}, year = {1995}, isbn = {3-540-14580-X}, publisher = {Springer}, }