Dov M. Gabbay, Ian Hodkinson and Mark Reynolds

Clarendon Press , Oxford University Press 1994- Oxford logic guides 28, 40

v. 1 , v. 2

Available at 53 libraries