Conceptual Software Design: Algebraic Axioms for Conceptual Integrity.

Iaakov Exman, Phillip Katz

Browse the full SEKE paper archive.