A coequational approach to specifying behaviours (1999)

by C Cı̂rstea
Venue:In Proceedings of CMCS’99, volume 19 of ENTCS