Gordon D. Plotkin Hennessy-Plotkin-Brookes Revisited. 4 2006 conf/fsttcs/2006 FSTTCS http://dx.doi.org/10.1007/11944836_2 db/conf/fsttcs/fsttcs2006.html#Plotkin06