  |
En este artículo se ha incorporado una traducción de «George Büchi», concretamente de esta versión del 4 de agosto de 2020 publicada bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional por editores de la Wikipedia en inglés. |