Wojciech Fraczak Marek B. Zaremba A Non-SOS Operational Semantics for a Process Algebra. 47-54 1998 68 Inf. Process. Lett. 1 db/journals/ipl/ipl68.html#FraczakZ98 http://dx.doi.org/10.1016/S0020-0190(98)00135-5