Proving properties of shared data structures application to functional programming. - Jacques Hagelstein (ACM Annual Conference, 1982)

Algebraic Specification of Synchronisation and Errors: A Telephonic Example. - Brigitte Biebow; Jacques Hagelstein (TAPSOFT, Vol.2, 1985)

The ERAE Model: A Case Study. - Eric Dubois 001; Jacques Hagelstein; Eugene Lahou; Frank Ponsaert; André Rifaut; Fiona Williams (Information Systems Design Methodologies: Improving the Practice, 1986)

A Data Model for Requirements Analysis. - Eric Dubois 001; Jacques Hagelstein; Eugene Lahou; André Rifaut; Fiona Williams (ICDE, 1986)

A knowledge representation language for requirements engineering. - Eric Dubois 001; Jacques Hagelstein; Eugene Lahou; Frank Ponsaert; André Rifaut (Proc. IEEE, 1986)

A Semantic Analysis of the Collection Concept. - Jacques Hagelstein; André Rifaut (ER, 1988)

Declarative approach to information systems requirements. - Jacques Hagelstein (Knowl. Based Syst., 1988)

Introducing Formal Requirements into Industry. - Jacques Hagelstein; Frank Ponsaert (Algebraic Methods, 1989)

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. - Anne Mauboussin; H. Perdrix; Michel Bidoit; Marie-Claude Gaudel; Jacques Hagelstein (Algebraic Methods, 1989)

Information systems methodologies - a framework for understanding (2. ed.). - T. William Olle; Jacques Hagelstein; Ian G. MacDonald; Colette Rolland; Henk G. Sol (Addison-Wesley, 1991)

Reconciling Operational and Declarative Specifications. - Jacques Hagelstein; Dominique Roelants (CAiSE, 1992)

GeSEM: A Model for Software Engineering Activities. - Jacques Hagelstein; G. Hulin (IFIP Congress (1), 1992)

Formal Requirements Made Practical. - Jacques Hagelstein; Dominique Roelants; Pierre L. Wodon (ESEC, 1993)

A Front-End to HOOD - The Clyder Requirements Engineering Method. - Jacques Hagelstein; Dominique Roelants (Ada-Europe, 1994)

Reactive Variables for System Specification and Design. - E. Pascal Gribomont; Jacques Hagelstein (STACS, 1994)

A Guided Tour through the ICARUS Project. - Eric Dubois 001; Jacques Hagelstein; Axel van Lamsweerde; Fernando Orejas; Jeanine Souquières; Pierre L. Wodon (ACM SIGSOFT Softw. Eng. Notes, 1995)