No. 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences

Published: 1996-01-02