Communicating Sequential ProcessesCharles Antony Richard Hoare, Charles A. R Hoare & 2 more1985PDF6.1 MBEN