Hans Hüttel Colin Stirling Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. 485-509 1998 8 J. Log. Comput. 4 db/journals/logcom/logcom8.html#HuttelS98 http://dx.doi.org/10.1093/logcom/8.4.485