Maurice Nivat (1988). Fiftieth volume of theoretical computer science. Theoretical Computer Science. https://doi.org/10.1016/0304-3975(88)90001-1