@inproceedings{OR94,
 author = {O'Donnell, J. and R\"{u}nger, G.},
 title = {{A Case Study in Parallel Program Derivation: The Heat Equation Algorithm}},
 booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming},
 pages = {167--183},
 month = {September},
 year = {1994},
 isbn = {978-1-4471-3573-9},
 publisher = {Springer},
 doi = {10.1007/978-1-4471-3573-9_12},
}