Models For Concurrency by Uri Abraham & Abraham Abraham