@inproceedings{baker-finch:amospc,
author="Clement A. Baker-Finch",
title="An Algebraic Model for Operational Semantics and Proofs of Congruence",
booktitle="14th Australian Computer Science Conference",
organisation="Australian Computer Science Communications",
year=1991,pages="40.1-40.10"}