Mechanical Logic in Three-Dimensional Space - Gennaro Auletta (Taylor and Francis, 2013)