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