David Pym;Lincoln Wallen
-;-
A framework for defining logics
Journal of the ACM (JACM)
Logical frameworks
Handbook of automated reasoning