Background : mathematical structures - Abramsky, Samson,; Gabbay, Dov M.; Maibaum, Thomas S. E. (Clarendon Press, Oxford University Press, 1992)