Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

Paperback