edited by S. Mauw and G.J. Veltink

Cambridge University Press 1993 Cambridge tracts in theoretical computer science 36

Available at 26 libraries