The meaning of negative premises in transition system specifications II (2004)

by R.J. van Glabbeek
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING