Reference:
Stefan Milius: From Equational Specifications of Algebras with Structure to Varieties of Data Languages, In Markus Roggenbach, Ana Sokolova, eds.: 8th Conference on Algebra and Coalgebra in Computer Science (CALCO), Leibniz International Proceedings in Informatics (LIPIcs), vol. 139, pp. 2:1–2:5, Schloss Dagstuhl, 2019.
Bibtex Entry:
@InProceedings{milius19,
author = {Stefan Milius},
title = {From Equational Specifications of Algebras with Structure to Varieties of Data Languages},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO)},
pages = {2:1--2:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Markus Roggenbach and Ana Sokolova},
OPTpublisher = {Schloss Dagstuhl -- Leibniz-Zentrum f\"{u}r Informatik},
publisher = {Schloss Dagstuhl},
OPTaddress = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11430},
URN = {urn:nbn:de:0030-drops-114309},
doi = {10.4230/LIPIcs.CALCO.2019.2},
annote = {Keywords: Birkhoff theorem, Equational logic, Eilenberg theorem, Data languages}
}