Concurrent object-oriented programming: The MP-Eiffel approach - Silva, Miguel Augusto Mendes Oliveira e (2004)