Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.

Isabel Nunes Antónia Lopes Vasco Thudichum Vasconcelos Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. 115-131 2009 RV http://dx.doi.org/10.1007/978-3-642-04694-0_9 conf/rv/2009 db/conf/rv/rv2009.html#NunesLV09