Modulaser: A Tool for Conceptual Analysis of Software Systems. - Iaakov Exman; Phillip Katz (SKY, 2016)

Conceptual Software Design: Algebraic Axioms for Conceptual Integrity. - Iaakov Exman; Phillip Katz (SEKE, 2017)