TY - CHAP T1 - Term-Generic Logic T2 - Recent Trends in Algebraic Development Techniques UR - http://dx.doi.org/10.1007/978-3-642-03429-9_19 PY - 2009/09/28 AU - Popescu A AU - Ro艧u G ED - DO - DOI: 10.1007/978-3-642-03429-9_19 PB - Springer Berlin Heidelberg SN - 9783642034282 SP - 290 EP - 307 Y2 - 2025/05/16 ER -