Isabelle's Object-Logics (1997)

by Lawrence C. Paulson