Logics in Computer Science - Mogavero, Jan A Michael WFabio; Mogavero (Dordrecht Atlantis Press, 2013)