Prentice-Hall international series in computer science
Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson
Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson
. - Englewood Cliffs, New Jersey : Prentice-Hall, cop. 1985
. - 184 p. : il. 25 cm
. - (Prentice-Hall international series in computer science)
0-13-561465-2