Operating systems concurrent and distributed software - Bacon (Addison-Wesley, 2003)