TY - BOOK AU - Pnueli TI - Flude Mechanics SN - 0521587972 U1 - 620.1 PY - 1992/// CY - U.S.A PB - Cambridge ER -