by Michel Bidoit and Peter D. Mosses

Michel Bidoit is a researcher in formal methods and algebraic specification, known for work related to the Common Algebraic Specification Language (CASL) and formal software development. Peter D. Mosses is a computer scientist specializing in formal semantics, programming language theory, and algebraic specification, and he is a leading contributor to CASL and related specification frameworks.[1][4][7]