Towards Lean Proof Checking. - Gilles Barthe; Hugo Elbers (DISCO, 1996)