@inproceedings{alti:tait06,
        author = "Thorsten Altenkirch and James Chapman",
        title = "{Tait in one big step}",
        booktitle = "{Workshop on Mathematically 
                Structured Functional Programming, MSFP 2006, Kuressaare, Estonia, July 2, 2006}",
        address = "Kuressaare, Estonia",
        year = 2006,
        series = "{electronic Workshop in Computing (eWiC)}",
        publisher = "{The British Computer Society (BCS)}",
        url = {http://ewic.bcs.org/conferences/2006/msfp/}
}