Construction of a specification from its singleton part - Roberto Fernandez; Gregory Maillard (2004)