@article(anti:1996,
 author       = {Valentin Antimirov},
 year         = {1996},
 title        = {{Partial Derivatives of Regular Expressions and Finite Automaton Constructions}},
 journal      = {Theoretical Computer Science},
 volume       = {155},
 number       = {2},
 pages        = {291--319},
 doi          = {10.1016/0304-3975(95)00182-4},
)
@article(baet:corr:grab:2007,
 author       = {Jos Baeten and Flavio Corradini and Clemens Grabmayer},
 year         = {2007},
 title        = {{A Characterization of Regular Expressions Under Bisimulation}},
 journal      = {Journal of the ACM},
 volume       = {54},
 number       = {2},
 doi          = {10.1145/1219092.1219094},
)
@phdthesis(boss:1997,
 author       = {Doeko Bosscher},
 year         = {1997},
 title        = {Grammars Modulo Bisimulation},
 school       = {University of Amsterdam},
)
@inproceedings(grab:2019,
 author       = {Clemens Grabmayer},
 year         = {2019},
 title        = {{Modeling Terms by Graphs with Structure-Constraints (Two Illustrations)}},
 booktitle    = {TERMGRAPH 2018 post-proceedings},
 volume       = {288},
 pages        = {1--13},
 doi          = {10.4204/EPTCS.288},
)
@techreport(grab:2020:scpgs-arxiv,
 author       = {Clemens Grabmayer},
 year         = {2020},
 title        = {{Structure-Constrained Process Graphs for the Process Interpretation of Regular Expressions}},
 type         = {Technical Report},
 number       = {\href{https://arxiv.org/abs/2012.10869}{\texttt{arXiv:2012.10869}}},
 institution  = {\href{http://arxiv.org}{\texttt{arxiv.org}}},
)
@inproceedings(grab:fokk:2020:LICS,
 author       = {Clemens Grabmayer and Wan Fokkink},
 year         = {2020},
 title        = {{A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity}},
 booktitle    = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science},
 series       = {LICS ’20},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {465–478},
 doi          = {10.1145/3373718.3394744},
)
@techreport(grab:fokk:2020:arxiv,
 author       = {Clemens Grabmayer and Wan Fokkink},
 year         = {2020},
 title        = {{A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity}},
 type         = {Technical Report},
 number       = {\href{http://arxiv.org/abs/2004.12740}{\texttt{arXiv:2004.12740}}},
 institution  = {\href{http://arxiv.org}{\texttt{arxiv.org}}},
 note         = {Report version of \cite{grab:fokk:2020:LICS}},
)
@article(grab:roch:2014,
 author       = {Clemens Grabmayer and Jan Rochel},
 year         = {2014},
 title        = {Maximal Sharing in the Lambda Calculus with Letrec},
 journal      = {ACM SIGPLAN Notices},
 volume       = {49},
 number       = {9},
 pages        = {67–80},
 doi          = {10.1145/2692915.2628148},
)
@article(miln:1984,
 author       = {Robin Milner},
 year         = {1984},
 title        = {{A Complete Inference System for a Class of Regular Behaviours}},
 journal      = {Journal of Computer and System Sciences},
 volume       = {28},
 number       = {3},
 pages        = {439 -- 466},
 doi          = {10.1016/0022-0000(84)90023-0},
)
@article(vran:1997,
 author       = {Jos Vrancken},
 year         = {1997},
 title        = {{The Algebra of Communicating Processes with Empty Process}},
 journal      = {Theoretical Computer Science},
 volume       = {177},
 number       = {2},
 pages        = {287 -- 328},
 doi          = {10.1016/S0304-3975(96)00250-2},
)