Pnueli

Flude Mechanics - U.S.A Cambridge 1992

0521587972

620.1