Source: Terminals and pseudoterminals by Viacheslav Biriukov