A metalanguage for guarded iteration (bibtex)

by Sergey Goncharov, Christoph Rauch and Lutz Schröder

Reference:

Sergey Goncharov, Christoph Rauch and Lutz Schröder: A metalanguage for guarded iteration, In Theoretical Computer Science, 880, pp. 111–137, 2021.

Bibtex Entry:

@Article{         GoncharovRauchEtAl21,
  title         = {A metalanguage for guarded iteration},
  journal       = {Theoretical Computer Science},
  volume        = {880},
  pages         = {111-137},
  year          = {2021},
  author        = {Sergey Goncharov and Christoph Rauch and Lutz Schröder}
}