.

Published in: J. Funct. Program. (1996)