Fernando Orejas Elvira Pino Semantic Definitions for Normal Open Programs. 43-58 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#OrejasP99