Lawrence C Paulson and Tobias Nipkow "Introduction to Isabelle"
(1993)
Languages mentioned
Isabelle-93
{1993}