Digital design vercation based on P-stable semantics. - Claudia Zepeda; José Raymundo Marcial-Romero; Mauricio Javier Osorio Galindo; Hilda Castillo; Daniel Quintos; Sergio Arzola (CONIELECOMP, 2010)