@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},
}