Aart Middeldorp ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3838

Available at 9 libraries

J.C.M. Baeten, J.W. Klop (eds.)

Springer-Verlag c1990 Lecture notes in computer science 458

: gw , : us

Available at 59 libraries

J.W. Klop

Mathematisch centrum 1980 Mathematical Centre tracts 127

pbk.

Available at 8 libraries