A logic-based formalization for component specification.

Juliana Küster Filipe A logic-based formalization for component specification. 231-248 2002 1 Journal of Object Technology 3 http://dx.doi.org/10.5381/jot.2002.1.3.a13 db/journals/jot/jot1.html#Filipe02