The ”de Bruijn factor”. http://www.cs.ru.nl/~freek/factor (0)

by F Wiedijk