Models for Parallel and Distributed Computation by Ricardo Correa & Ines Dutra