Citation: W. Fokkink et C. Verhoef, A CONSERVATIVE LOOK AT OPERATIONAL SEMANTICS WITH VARIABLE BINDING, Information and computation (Print), 146(1), 1998, pp. 24-54
Citation: Pr. Dargenio et C. Verhoef, A GENERAL CONSERVATIVE EXTENSION THEOREM IN-PROCESS ALGEBRAS WITH INEQUALITIES, Theoretical computer science, 177(2), 1997, pp. 351-380