Algebraic Approaches to Program Ssemantics

Authors: Ernest G. Manes, Michael A. Arbib - DAGLIB 1986 cited by 230