Modelling implementations as institution morphisms
- Domínguez, Carlos
- Lambán Pardo, Laureano
- Pascual Ayats, Víctor
- Rubio Alonso, Juan
- Orejas Valdés, Fernando (ed. lit.)
- Cuartero Gómez, Fernando (ed. lit.)
- Cazorla López, Diego (ed. lit.)
Argitaletxea: Universidad de Castilla-La Mancha
Argitalpen urtea: 2001
Orrialdeak: 229-240
Biltzarra: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro)
Mota: Biltzar ekarpena