@phdthesis{RISC3450,
author = {Nikolaj Popov},
title = {{Functional Program Verification in Theorema}},
language = {english},
year = {2008},
month = {July},
note = {Technical report no. 08-12 in RISC Report Series},
translation = {0},
school = {RISC, Johannes Kepler University},
length = {150}
}