Source: https://www.dcc.fc.up.pt/~sandra/Home/FLP1920_files/deBruijn72.pdf