Proof by pointing (1994)

by Y Bertot, G Kahn, L Théry
Venue:In Theoretical Aspects of Computer Software