Behavioral coinductive rewriting (1999)

by Grigore Rosu
Venue:OBJ/CafeOBJ/Maude at Formal Methods '99