Karsten Hölscher Paul Ziemann Martin Gogolla 78-105 2006 17 J. Vis. Lang. Comput. 1 http://dx.doi.org/10.1016/j.jvlc.2005.11.001 db/journals/vlc/vlc17.html#HolscherZG06