Cantone, Anthony, and Yawa Adonsou. 2018. “Using Karnaugh Maps in Software Requirements Analysis”. Journal of System Safety 54 (1):22-39. https://doi.org/10.56094/jss.v54i1.82.