Theoretical Computer ScienceVolume 13, Issue 2, 1981, Pages 151-174The congruence of two programming language definitionsAuthor links open overlay panelJoseph E. StoyShow moreShareCitehttps://doi.org/10.1016/0304-3975(81)90037-2Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1981 Published by Elsevier B.V.