Lawrence C Paulson and Tobias Nipkow "Isabelle's Object-Logics"
(1993)
Languages mentioned
Isabelle-93
{1993}