Semantics (msc 68Q55), Logic in computer science (msc 03B70), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
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.