@inproceedings{SchmidtSchaussDallmeyer2019,
  author    = {Manfred Schmidt-Schauß and Nils Dallmeyer},
  title     = {Optimizing space of parallel processes},
  booktitle = {J. Niehren \& D. Sabel (eds.): Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) ; Electronic Proceedings in Theoretical Computer Science 289.2019},
  volume    = {2019},
  number    = {289 (Proc. WPTE 2018)},
  pages     = {53 -- 67},
  doi       = {10.4204/EPTCS.289.4},
  year      = {2019},
}