O'Connor, Noel M. (1990) An object-oriented testing approach based on a rigorous model of claimed functionality. Master of Science thesis, Dublin City University.