Logic and computation—Interactive proof with Cambridge LCF

Tobias Nipkow
1988 Science of Computer Programming  
doi:10.1016/0167-6423(88)90007-x fatcat:gc5rp3zc5fbtlnj3ga6quv2dne