Software Engineering with OBJ: Algebraic Specification in Action/fr-ca/software-engineering-with-obj-algebraic-specification-in-action/3CD9E23B-052C-4AF3-8590-6D13BCB3FB0D.html3CD9E23B-052C-4AF3-8590-6D13BCB3FB0D
Software Engineering With OBJ: Algebraic Specification in Action