A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course. - Patricia Hasson; Stephen Cooper (CSEE&T, 2004)