Mechanizing the transformation of higher order algebraic specifications for the development of software systemsSönke Johannes MagnussenÉpuisé4,3Prévenez-moi
