@inproceedings{RR96,
 author = {Rauber, T. and R\"{u}nger, G.},
 title = {{A Type System for the Derivation of Data Redistributions}},
 booktitle = {Proceedings of the 9th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS'96)},
 pages = {150--155},
 month = {September},
 year = {1996},
}