Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{AMLG_1962__6_137766, author = {J. Richard B\"uchi}, title = {Regular {Canonical} {Systems.}}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {91--111}, publisher = {mathdoc}, volume = {6}, year = {1962}, zbl = {0129.26102}, url = {http://geodesic.mathdoc.fr/item/AMLG_1962__6_137766/} }
J. Richard Büchi. Regular Canonical Systems.. Archiv für mathematische Logik und Grundlagenforschung, Tome 6 (1962), pp. 91-111. http://geodesic.mathdoc.fr/item/AMLG_1962__6_137766/