Tudor Jebelean, Nikolaj Popov, Laura Kovacs,
"Experimental Program Verification in the Theorema System"
, in T. Margaria, B. Steffen: Proceedings ISOLA 2004, Serie University of Cyprus, Paphos, Cyprus, Seite(n) 92-99, 11-2004
Original Titel:
Experimental Program Verification in the Theorema System