Bisimulation and Hidden Algebra. - Dorel Lucanu; Ovidiu Gheorghies; Adriana Apetrei (CMCS, 1999)