Ryan, Mark and
Sadler, Martin. 1992.
“Valuation Systems and Consequence Relations.” in
Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures, edited by Samson
Abramsky, Dov M.
Gabbay, and Thomas S. E.
Maibaum, pp. 1–78. Oxford: Oxford University Press.