Verification and Derivation of Infinite-List Programs (1988)

by Berend A Sijtsma