Lawrence C Paulson and Tobias Nipkow "The Isabelle Reference Manual"
(1993)
Languages mentioned
Isabelle-93
{1993}