@inproceedings{aamas07,
    title = {A Grounded Specification Language for Agent Programs},
    author = {Mehdi Dastani and M. Birna van Riemsdijk and John-Jules {\text{Ch}} Meyer},
    booktitle = "Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07)",
    pages = "578--585",
    address = "Honolulu, Hawaii",
    publisher = "IFAAMAS",
    year = 2007
}