@inproceedings{amast06,
    author = "M. Birna van Riemsdijk and John-Jules {\text{Ch}} Meyer",
    title = "A Compositional Semantics of Plan Revision in Intelligent Agents",
    booktitle = "Algebraic Methodology And Software Technology: 11th International Conference, {AMAST 2006}",
    volume = "4019",
    series = "{LNCS}",
    publisher = "Springer",
    editor = "Michael Johnson and Varmo Vene",
    pages = "353--367",
    year =     "2006"}