Harel, Maoz, 2006. Assert and negate revisited, in: . ACM Press.. https://doi.org/10.1145/1138953.1138958