Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems

@inproceedings{Sancho1994DerivingTS,
  title={Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems},
  author={Maria-Ribera Sancho and Antoni Oliv{\'e}},
  booktitle={CAiSE},
  year={1994}
}