A syntax and semantics of a language for operational procedures | IEEE Conference Publication | IEEE Xplore