A Syntax and Semantics of a Language for Operational Procedures | IEEE Journals & Magazine | IEEE Xplore