Science of Computer Programming, volume 70, number 2-3, pp 127-148
February 1, 2008
B. Mathiske, D. Simon, D. Ungar