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

by A Bauer, C A Stone
Venue:Computation and Logic in the Real World, Lecture Notes in Computer Science 4497, Springer Berlin/Heidelberg, 2007