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

by van Glabbeek
Venue:J. Logic Algebr. Program. 60-61