On products and bisimulations (1999)

by H P Gumm, T Schroder