TY - BOOK AU - BEST , EIKE AU - HOARE,C.A.R. TI - Semantics of Sequential and parallel Programs T2 - Prentice hall International Series in Computer Science SN - 0134606434 U1 - 005.131 PY - 2012/// CY - LONDON PB - Prentice Hall KW - PROGRAM,COMPUTER ER -