Stephen Murrell Robert Plant Decision Tables: Formalisation, Validation and Verification. 107-132 1995 5 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr5.html#MurrellP95 http://dx.doi.org/10.1002/stvr.4370050204