From bialgebraic semantics to congruence formats (2005)

by B Klin
Venue:In Proc. SOS’04, ENTCS