edited by Atocha Aliseda, Rob van Glabbeek, Dag Westerståhl

CSLI Publications c1998 CSLI lecture notes no. 81

: pbk

所蔵館22館

R.J.H. van Glabbeek

Centrum voor Wiskunde en Informatica c1996 CWI tract 109

所蔵館6館