RZ: A tool for bringing constructive and computable mathematics closer to programming practice
–Andrej Bauer, Christopher A. Stone
— 2007
— CiE 2007: Computation and Logic in the Real World, volume 4497 of LNCS

C.A.: RZ: a tool for bringing constructive and computable mathematics closer to programming practice
–Andrej Bauer, Christopher A. Stone
— In: Computation and Logic in the Real World, Third Conference on Computability in Europe. Volume 4497 of LNCS. 28–42

RZ: A tool for bringing constructive and computable mathematics closer to programming practice
–Andrej Bauer, Christopher A. Stone
— Computation and Logic in the Real World, Lecture Notes in Computer Science 4497, Springer Berlin/Heidelberg, 2007

RZ: a tool for bringing constructive and computable mathematics closer to programming practice
–Christopher A. Stone
— 2007
— In Computation and Logic in the Real World, Third Conference on Computability in Europe, in

RZ: a tool for bringing constructive and computable mathematics closer to programming practice
–Andrej Bauer, Christopher A. Stone
— 2007
— In Computability in Europe 2007
