Towards a mathematical operational semantics | IEEE Conference Publication | IEEE Xplore