, ,
Springer
Lecture Notes in Computer Science
Automata, Languages and Programming

Bol, R.N, & Groote, J.F. (1991). The meaning of negative premises in transition system specifications (extended abstract). In Proceedings of Automata, Languages and Programming 0000 (1991) (pp. 481–494). Springer.