A coequational approach to specifying behaviours (1999)

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