(Springer, 2003) Meseguer, Pedro; Bouhmala, Noureddine; Bouzoubaa, Taoufik; Irgens, Morten; Sànchez Fibla, Martí