Rob J. van Glabbeek The meaning of negative premises in transition system specifications II. 229-258 2004 60-61 J. Log. Algebr. Program. http://dx.doi.org/10.1016/j.jlap.2004.03.007 db/journals/jlp/jlp60.html#Glabbeek04