I3V a program proof management system - Back, Ralph-Johan; Hietala, Pentti (Tamperen Yliopisto, 1986)