A Method for the Construction of Isomorphisms of the First "n" Natural Numbers onto a Set of Non-Abelian Words. - Armando Martin Haeberer (SIGIR Forum, 1973)

Comparing Two Different Approaches to Products in Abstract Relation Algebra. - Rudolf Berghammer; Armando Martin Haeberer; Gunther Schmidt 001; Paulo A. S. Veloso (AMAST, 1993)

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. - Armando Martin Haeberer; Gabriel Baum; Gunther Schmidt 001 (Formal Methods in Programming and Their Applications, 1993)

PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. - Andre J. Sampaio; Armando Martin Haeberer; Claudio T. Prates; Cristina D. Ururahy; Marcelo F. Frias; Neudson C. Albuquerque (TAPSOFT, 1995)

Adding Design Strategies to Fork Algebras. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (Ershov Memorial Conference, 1996)

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. - Gabriel Baum; Marcelo F. Frias; Armando Martin Haeberer; Pablo E. Martínez López (MFCS, 1996)

Fork Algebras. - Armando Martin Haeberer; Marcelo F. Frias; Gabriel Baum; Paulo A. S. Veloso (Relational Methods in Computer Science, 1997)

Representability and Program Construction within Fork Algebras (Part II). - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (RelMiCS, 1997)

Fork Algebras in Algebra, Logic and Computer Science. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (Fundam. Informaticae, 1997)

A Finite Axiomatization for Fork Algebras. - Marcelo F. Frias; Armando Martin Haeberer; Paulo A. S. Veloso (Log. J. IGPL, 1997)

A calculus for program construction based on fork algebras, generic algorithms and design strategies. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (RelMiCS, 1998)

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. - Armando Martin Haeberer; T. S. E. Maibaum (ASE, 1998)

Representability and Program Construction within Fork Algebras. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (Log. J. IGPL, 1998)

Editorial. - Marcelo F. Frias; Armando Martin Haeberer (Log. J. IGPL, 1998)

Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. - Armando Martin Haeberer; T. S. E. Maibaum (ICSE, 2001)