A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. - Marie-Claude Gaudel; Pierre Dauchy; Carole Khoury (Formal Methods for Industrial Applications, 1995)

Dynamic Systems with Implicit State. - Marie-Claude Gaudel; Carole Khoury; Alexandre V. Zamulin (FASE, 1999)