RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)

by Andrej Bauer, Christopher A. Stone
Venue:CiE 2007: Computation and Logic in the Real World, volume 4497 of LNCS