R. Arruabarrena Marisa Navarro On Extended Logic Languages supporting Program Structuring. 191-206 1996 conf/agp/1996 APPIA-GULP-PRODE db/conf/agp/agp1996.html#ArruabarrenaN96