Gaya APA

Stone, A, B, A, C, A. (2009). RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice . : .

Gaya MLA

Stone, Andrej, Bauer, And, Christopher, A.. "RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice ". : , 2009. Text.