Deriving transaction specifications from Deductive Conceptual Models of information systems | Publicación