Berend Ate Sijtsma

• Verification and derivation of infinite-list programs