Bridging the Gap between Algebraic Specification and Generic Programming

TitleBridging the Gap between Algebraic Specification and Generic Programming
Publication TypeJournal Article
Year of Publication2009
AuthorsNunes, I., A. Lopes, and V. T. Vasconcelos