Explore open access research and scholarly works from DCU
Advanced Search
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.