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