, ,
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.