PublicationACM SIGPLAN NoticesPaper“do considered od” considered odder than “do considered ob”ACM SIGPLAN NoticesDownload paperAbstractNo abstract available.Home↳ PublicationsDate04 Jan 1980PublicationACM SIGPLAN NoticesAuthorsDavid HarelIBM-affiliated at time of publicationResourcesPublicationShare