1. Abramsky S., Gabbay D. and Maibaum T. (editors). (1993–2000). Handbook of Logic in Computer Science Oxford University Press, Vol. 1–5.
2. Non-deterministic semantics for logical systems;Avron;In Handbook of Philosophical Logic D M Gabbay F Guenthner (eds ) 2nd ed,2011
3. Many-valued logic, partiality, and abstraction in formal specification languages;Hähnle;In Logic Journal of the IGPL 13,2005
4. Reasoning about partial functions in the formal development of programs;Jones;In Proceedings of AVoCS 05 V 145 Elsevier Electronic Notes in Theoretical Computer Science,2006
5. Pure first-order logics of quasiary predicates.;Nikitchenko,2016