Mechanizing the transformation of higher order algebraic specifications for the development of software systemsSönke Johannes MagnussenEsaurito4,3Avvisami
