An Experimental Applicative Programming Language For Linguistics And String Processing. - Paul A. Bailes; Larryi H. Reeker (COLING, 1980)

The derivation of an applicative programming language for string processing / a thesis submitted by Paul Anthony Bailes - Paul A. Bailes (1983)

A Rational Pascal. - Paul A. Bailes (Aust. Comput. J., 1984)

A Semantically-based Formatting Discipline for Pascal. - Paul A. Bailes; Antonio Salvadori (Softw. Pract. Exp., 1984)

A Low-Cost Implementation of Coroutines for C. - Paul A. Bailes (Softw. Pract. Exp., 1985)

DDA - A Data Definition Facility for UNIX Using Awk. - Paul A. Bailes (Softw. Pract. Exp., 1985)

Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. - Paul A. Bailes (Comput. Lang., 1986)

G: A Functional Language with Generic Abstract Data Types. - Paul A. Bailes (Comput. Lang., 1987)

An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2. - Paul A. Bailes (Comput. J., 1988)

A Proposal for a Bachelor's Degree Program in Software Bngineering. - Paul A. Bailes; Eric J. Salzman; Andreas Rösel (CSEE, 1989)

DAda - an Ada preprocessor for functional programming. - Paul A. Bailes; Dan Johnson; Eric J. Salzman; Li Wang 003 (TRI-Ada, 1990)

The Hierarchical Development of a Generic Type Mechanism for Functional Languages. - Paul A. Bailes (Comput. Lang., 1990)

Full Functional Programming in a Declarative Ada Dialect. - Paul A. Bailes; Dan B. Johnston; Eric J. Salzman; Li Wang 003 (TRI-Ada, 1992)

Discovering Functional Programming Through Imperative Languages. - Paul A. Bailes (Comput. Sci. Educ., 1992)

Identifying foundations of software engineering expertise. - Andreas Rösel; Paul A. Bailes (ACM SIGCSE Bull., 1992)

Why Functional Languages Really Need Parallelism. - Paul A. Bailes; Ming Gong; Andrew Moran (ICCI, 1993)

Preprocessing First-Class Functions for Ada. - Paul A. Bailes; Dan B. Johnston; Eric J. Salzman (ICCI, 1993)

GRIT-an extended REFINE for more executable specifications. - Paul A. Bailes; Murray Chapman; Ming Gong; Ian Peake (KBSE, 1993)

Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. - Paul A. Bailes; Trevor Chorvat (Comput. Lang., 1993)

A Proposal for a Genuinely-Lazy Streams Facility for Ada. - Paul A. Bailes; Dan B. Johnston; Eric J. Salzman (Comput. Lang., 1993)

Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments. - Paul A. Bailes; Steven Atkinson; Murray Chapman; Dan B. Johnston; Ian Peake (APSEC, 1994)

Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTM. - Paul A. Bailes; Murray Chapman; Mae Chia; Ian Peake (Aust. Comput. J., 1994)

KBSE and Ada - Object and Enabling Technology. - Paul A. Bailes; Paul Burnim; Murray Chapman; Eric J. Salzman (Ada-Europe, 1995)

Re-engineering 4GL-based Information System Applications. - John V. Harrison; Paul A. Bailes; Anthony Berglas; Ian Peake (APSEC, 1995)

Towards an Open Software Conversion Architecture. - Paul A. Bailes; Steven Atkinson; Murray Chapman; Dan B. Johnston; Ian Peake (Int. J. Softw. Eng. Knowl. Eng., 1995)

Towards an intelligent software maintenance network. - Paul A. Bailes; Paul Burnim; Murray Chapman; John V. Harrison; Ian Peake (IFIP World Conference on IT Tools, 1996)

Derivation and Presentation of an Abstract Program Space for Ada. - Paul A. Bailes; Paul Burnim; Murray Chapman; Dan B. Johnston (WPC, 1996)

Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. - Paul A. Bailes; Paul Burnim; Murray Chapman; Eric J. Salzman (TRI-Ada, 1996)

Mapping Ada Source Code into an Abstract Program Space. - Paul A. Bailes; Paul Burnim; Murray Chapman (APSEC, 1997)

Design Recovery through Formal Specification. - Wie Ming Lim; John V. Harrison; Paul A. Bailes; Anthony Berglas (Australian Software Engineering Conference, 1998)

Formal Methods within a Totally Functional Approach to Programming. - Paul A. Bailes; Colin J. M. Kemp (10th Anniversary Colloquium of UNU/IIST, 2002)

Why Functional Programming Really Matters. - Paul A. Bailes; Colin J. M. Kemp; Ian Peake; Sean Seefried (Applied Informatics, 2003)

Incremental Enhancement of the Expressiveness of a Reengineering Tool Development Platform. - Paul A. Bailes; Ian Peake (Applied Informatics, 2003)

Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. - Paul A. Bailes; Colin J. M. Kemp (COMPSAC, 2003)

Design Derivation of an Open, Java-Based Reengineering Platform. - Paul A. Bailes; Ian Peake (CSMR, 2003)

Obstacles to a Totally Functional Programming Style. - Paul A. Bailes; Colin J. M. Kemp (Australian Software Engineering Conference, 2004)

Automating Software Evolution. - David Hearnden; Paul A. Bailes; Michael Lawley; Kerry Raymond (IWPSE, 2004)

Fusing Folds and Data Structures into Zoetic Data. - Paul A. Bailes; Colin J. M. Kemp (IASTED Conf. on Software Engineering, 2005)

ERA Challenges for Australian University ICT. - Paul A. Bailes (ACSC, 2012)

Making sense of recursion patterns. - Paul A. Bailes; Leighton Brough (FormSERA@ICSE, 2012)

Self-Definition for Software Development. - Barry Wilks; Paul A. Bailes (SEW, 2012)

Towards a Discipline of Software Engineering Forensics Analysis. - Paul A. Bailes; Christine Cornish; Toby Myers; Louis Rago; Nick Tate; Mal Thatcher (ENASE, 2014)

From Computer Science to Software Engineering - A Programming-level Perspective. - Paul A. Bailes; Leighton Brough; Colin J. M. Kemp (SoMeT, 2014)

Zoetic Data and their Generators. - Paul A. Bailes; Colin J. M. Kemp (ENASE, 2016)

Software Engineering Foundations of Zoetic Data and Totally Functional Programming. - Paul A. Bailes; Colin J. M. Kemp (ENASE (Selected Papers), 2016)