Kourkopoulos, Dimitrios (1993) A formal method for partially tolerating incompleteness in specifications : a proposal. Masters thesis, Concordia University.