@InCollection{Pau00,
    Author       = "Paulson, L.",
    Year         = "2000",
    Title        = "{A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions}",
    Editor       = "Plotkin, G. and Stirling, C. and Tofte, M.",
    BookTitle    = "{Proof, Language, and Interaction: Essays in Honour of Robin Milner}",
    Pages        = "187-211",
    Publisher    = "MIT Press",
    Comment      = ""
}