Tim Fernando Comparative Transition System Semantics. 149-166 1992 conf/csl/1992 CSL db/conf/csl/csl92.html#Fernando92 https://doi.org/10.1007/3-540-56992-8_11