... Tantzen.
Collected Algorithms of the ACM, 199, R. Tantzen.