Symbolic Bismulations (1992)

by M Hennessy, H Lin