Algebraic approaches to program semantics
Ernest G. Manes, Michael A. Arbib.
New York : Springer-Verlag, ©1986.
xiii, 351 págs. : ilustraciones ; 25 cm.
Serie: The AKM series in theoretical computer scienceaTexts and monographs in computer science
ISBN: 0387963243
Incluye referencias bibliográficas e índices.
Reseña: MathSciNet, 88d:68069