Tyng-Ruey Chuang Generic Validation of Structural Content with Parametric Modules. 129-140 2000 conf/aplas/2000 APLAS db/conf/aplas/aplas2000.html#Chuang00