Logics in Computer Science - Mogavero (Atlantis Press, 2013)