Inverted decision tables and their application: Automating the translation of specifications to programs | Nokia Bell Labs Journals & Magazine | IEEE Xplore