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

(untitled) - Martin, A