Software Engineering using Algebraic Specification Dorel Lucanu We present an overview of the use of the algebraic specifcations in software engineering, with the focus on hidden algebra. PDF NUS BIB
