Mechanizing the transformation of higher order algebraic specifications for the development of software systemsSönke Johannes MagnussenUitverkocht4,3Hou mij op de hoogte
