1
by Baeten, Jos C M
Published 1999
Springer-Verlag Berlin Heidelberg