Een nadere bewijstheoretische analyse van GSTT's (incl. appendix), Manuscript, Faculty of Mathematics and (1989)

by J Terlouw
Venue:Computer Science, University of Nijmegen