Joseph A. Goguen, Kai Lin, Grigore Rosu
Behavioral and Coinductive Rewriting
WRLA, 2000.
@article{WRLA-2000-GoguenLR,
author = "Joseph A. Goguen and Kai Lin and Grigore Rosu",
doi = "10.1016/S1571-0661(05)80128-8",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "2--23",
title = "{Behavioral and Coinductive Rewriting}",
volume = 36,
year = 2000,
}