Proof by Pointing (1994)

by Y Bertot, G Kahn, L Therry
Venue:Theoretical Aspects of Computer Software