edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg

Springer-Verlag c1986 Lecture notes in computer science 224

: gw , : us

所蔵館55館