@inproceedings{GraLucWADT04,
    Author = "B.~Gramlich and S.~Lucas",
    Title = "Modular Context-Sensitive Algebraic Specifications",
    Booktitle = "17th Int. Workshop on Algebraic Development Techniques, WADT'04",
    Address = "Barcelona, Spain",
    Editor = "P. Mosses",
    Publisher = "Universidad Polit\'ecnica de Catalunya",
    Year = 2004,
    Month = "March",
    Pages = {20-22},
}