Inclusions and subtypes - Martí-Oliet, Narciso; Meseguer, José (1990)