Mechanizing the transformation of higher order algebraic specifications for the development of software systemsSönke Johannes MagnussenAgotado4,3Notifícame
