@INCOLLECTION\{IMM2006-05034,
    author       = "H. Baumeister and D. Bert",
    title        = "Algebraic specification in {CASL}",
    year         = "2006",
    month        = "apr",
    keywords     = "software engineering, formal methods, algebraic specification",
    booktitle    = "Software specification Methods: An Overview Using a Case Study",
    volume       = "",
    number       = "",
    series       = "",
    publisher    = "{ISTE} Publishing Company",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5034-full.html",
    abstract     = "This chapter introduces the algebraic specification language {CASL} using the Warehouse case study."
}