Arend Rensink Bisimilarity of Open Terms. 345-385 2000 156 Inf. Comput. 1-2 db/journals/iandc/iandc156.html#Rensink00