Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano. A Constructive Object Oriented Modeling Language for Information Systems. Electronic Notes in Theoretical Computer Science, 153(1):55-75, 2006. [doi]
Abstract is missing.