Thirty years of algebraic specification

Fernando Orejas. Thirty years of algebraic specification. Journal of Logic and Algebraic Programming, 67(1-2):1-2, 2006. [doi]

Abstract

Abstract is missing.