Title: Recent Trends in Algebraic Development Techniques
Subjects: Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Information theory, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Theory of Computation, Mathematics of Computing, Mathematical Logic and Foundations