Mícheál Mac an Airchinnigh

Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009)

Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006)

Mícheál Mac an Airchinnigh: An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]. J. UCS 7(8): 668-691 (2001)

Mícheál Mac an Airchinnigh: Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. FME 2001: 396-418

Mícheál Mac an Airchinnigh: Mathematics for Formal Methods, a Proposal for Education Reform. IWFM 1998

Mícheál Mac an Airchinnigh, Hans-Jürgen Kugler: Service Engineering versus Software Engineering - A Foundational Study. IS&N 1994: 39-49

Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan: Formal Methods and Service Specification. IS&N 1994: 563-572

Mícheál Mac an Airchinnigh: Tutorial on the Irish School of the VDM. VDM Europe (2) 1991: 141-237

Ghee S. Teo, Mícheál Mac an Airchinnigh: The Use of VDM in the Specification of Chinese Characters. VDM Europe 1988: 476-499

Mícheál Mac an Airchinnigh: Mathematical Structures and their Morphisms in Meta-IV. VDM Europe 1987: 287-320

Mícheál Mac an Airchinnigh: Introduction to the VDM Tutorial. VDM Europe 1987: 356-361

Mícheál Mac an Airchinnigh: Specification by Data Types. VDM Europe 1987: 362-388

Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.): VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, isbn 3-540-17654-3

Mícheál Mac an Airchinnigh: The CONTEXT: a high-level structuring concept for GKS input. Computers & Graphics 9(3): 211-220 (1985)

Mícheál Mac an Airchinnigh: Seeheim Workshop on User Interface Management Systems Report of the Working Group on the User's Conceptual Model. Comput. Graph. Forum 4(1): 63-69 (1985)

Mícheál Mac an Airchinnigh: The Specification and Implementation of GKS Application Software in ADA (R). Comput. Graph. Forum 3(2): 153-165 (1984)