On Similarities Between Workflow Verification and Grammar Checking. In: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, pp. 585-590, AAAI Press, Palo Alto, CA, USA, ISBN 978-1-57735-756-8 (bibtex)