Infinite Lists for Specifying Functional Programs in Z - Martin, A (Proceedings of Australian Refinement Workshop, 1996)