Power, James (1994) Institutional approaches to programming language specification. PhD thesis, Dublin City University.
Power, James (1991) Linking programs and specifications in Z. Master of Science thesis, Dublin City University.