The Composition of Semantics in Algol 68. - Paul Branquart; Johan Lewi; Michel Sintzoff; Pierre L. Wodon (Commun. ACM, 1971)

Calculating properties of programs by valuations on specific models. - Michel Sintzoff (Proving Assertions About Programs, 1972)

Revised ALGOL 68 syntax chart. - John E. L. Peck; J. M. Watt; Michel Sintzoff (ACM SIGPLAN Notices, 1974)

Constructing correct and efficient concurrent programs. - Michel Sintzoff; Axel van Lamsweerde (Reliable Software, 1975)

Revised Report on the Algorithmic Language ALGOL 68 - Adriaan van Wijngaarden; Barry J. Mailloux; John E. L. Peck; Cornelis H. A. Koster; Michel Sintzoff; Charles H. Lindsey; Lambert G. L. T. Meertens; R. G. Fisker (Acta Informatica, 1975)

Revised Report on the Algorithmic Language Algol 68 - Adriaan van Wijngaarden; Barry J. Mailloux; John Edward Lancelot Peck; Cornelis H. A. Koster; Michel Sintzoff; Charles H. Lindsey; Lambert G. L. T. Meertens; R. G. Fisker (Revised Report on the Algorithmic Language Algol 68, 1976)

Eliminating Blind Alleys from Backtrack Programs. - Michel Sintzoff (ICALP, 1976)

Revised Report on the Algorithmic Language ALGOL 68. - A. van Wijngaarcien; Barry J. Mailloux; John E. L. Peck; C. H. A. Kostcr; Michel Sintzoff; Charles H. Lindsey; Lambert G. L. T. Meertens; R. G. Fisker (ACM SIGPLAN Notices, 1977)

Ensuring Correctness by Arbitrary Postfixed-Points. - Michel Sintzoff (MFCS, 1978)

Principles for Distributing Programs. - Michel Sintzoff (Semantics of Concurrent Computation, 1979)

Formal Derivation of Strongly Correct Concurrent Programs. - Axel van Lamsweerde; Michel Sintzoff (Acta Informatica, 1979)

Suggestions for Composing and Specifying Program Design Decisions. - Michel Sintzoff (Symposium on Programming, 1980)

Proof-oriented and applicative valuations in definitions of algorithms. - Michel Sintzoff (FPCA, 1981)

Distributed Termination with Interval Assertions. - N. Frances; Michael Rodeh; Michel Sintzoff (ICFPC, 1981)

Editorial. - Michel Sintzoff (Sci. Comput. Program., 1981)

Bounded-Horizon Success-Complete Restriction of Inference Programs. - Michel Sintzoff (ICLP, 1984)

The Scientific Engineering of Software. - Michel Sintzoff (ICSE, 1989)

Invariance and Contraction by Infinite Iterations of Relations. - Michel Sintzoff (Research Directions in High-Level Parallel Programming Languages, 1991)

Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition. - Michel Sintzoff; Frédéric Geurts (Analysis of Dynamical and Cognitive Systems, 1993)

Endomorphic Typing. - Michel Sintzoff (Formal Program Development, 1993)

Abstract Verification of Structured Dynamical Systems. - Michel Sintzoff (Hybrid Systems, 1995)

Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). - Michel Sintzoff (Sci. Comput. Program., 1996)

Algebraic Composition and Refinement of Proofs. - Martin Simons 001; Michel Sintzoff (AMAST, 1997)

On the design of correct and optimal dynamical systems and games. - Michel Sintzoff (Inf. Process. Lett., 2003)

Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. - Michel Sintzoff (Essays in Memory of Ole-Johan Dahl, 2004)

Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. - Michel Sintzoff (MPC, 2008)

A Semiring Approach to Equivalences, Bisimulations and Control. - Roland Glück; Bernhard Möller; Michel Sintzoff (RelMiCS, 2009)

Model Refinement Using Bisimulation Quotients. - Roland Glück; Bernhard Möller; Michel Sintzoff (AMAST, 2010)