@article{baker-finch:ac2pl,
author="Clement A. Baker-Finch",
title="The (Algebraic) Congruence of Two Programming Language Definitions",
journal="Science of Computer Programming",
volume=4, pages="81-96",
year=1990}