@incollection{bird:1, author = {R.S. Bird}, title = {An Introduction to the Theory of Lists}, booktitle = {Logic of Programming and Calculi of Discrete Design}, editor = {M. Broy}, publisher = {Springer-Verlag}, year = {1987}, pages = {3--42}, }

@misc{bird:3, author = {R.S. Bird}, title = {Lectures on Constructive Functional Programming}, year = {1988}, howpublished = {Oxford University Programming Research Group Monograph PRG-69}, }

@incollection{meertens, author = {L.G.L.T. Meertens}, title = {Algorithmics -- Towards Programming as a Mathematical Activity}, booktitle = {Proceedings of CWI Symposium on Mathematics and Computer Science}, publisher = {North-Holland}, year = {1986}, pages = {289--334}, }

@inproceedings{spivey, author = {J.M. Spivey}, title = {A Categorical Approach to the Theory of Lists}, publisher = {Springer-Verlag Lecture Notes in Computer Science 375}, booktitle = {Mathematics of Program Construction}, month = {June}, year = {1989}, pages = {399--408}, }

@article{skillicorn:p, author = {D.B. Skillicorn}, title = {Architecture-Independent Parallel Computation}, journal = {{IEEE} Computer}, volume = {23}, number = {12}, month = {December}, year = {1990}, pages = {38--51}, }

@phdthesis{malcolm:thesis, author = {G. Malcolm}, title = {Algebraic Data Types and Program Transformation}, school = {Rijksuniversiteit Groningen}, month = {September}, year = {1990}, }

@book{skillicorn:book, author = {D.B. Skillicorn}, title = {Foundations of Parallel Programming}, publisher = {Cambridge University Press}, series = {Cambridge Series in Parallel Computation}, year = {1994}, }