in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 1589, Pages: 48-62
Conference
13Th International Workshop on Algebraic Development Techniques, Wadt 1998, Date: 2 April 1998 through 4 April 1998, Sponsors: British Council;et al.;EU programme “Training and Mobility of Researchers”;Luso-American Development Foundation;Portugal Telecom;TAP Air Portugal
