@misc {IOPORT.70576215,
    author       = {Gammie, Peter},
    title        = {Verified synthesis of knowledge-based programs in finite synchronous environments},
    howpublished = {ITP, 87-102 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22863-6_9},
    identifier   = {70576215},
}