PublicationACM SIGPLAN NoticesPaperTransition functions: A method for semantic extensionsACM SIGPLAN NoticesDownload paperAbstractNo abstract available.Home↳ PublicationsDate12 Jan 1971PublicationACM SIGPLAN NoticesAuthorsB.M. LeavenworthIBM-affiliated at time of publicationResourcesPublicationShare