2 books • 2 series
Book #1: Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Book #13: Thermomechanics Of Phase Transitions In Classical Field Theory
