@article {IOPORT.05431344,
    author       = {Paige, Richard F. and Brooke, Phillip J.},
    title        = {Integrating BON and object-Z.},
    year         = {2004},
    journal      = {Journal of Object Technology},
    volume       = {3},
    number       = {3},
    issn         = {1660-1769},
    pages        = {121-141},
    publisher    = {Bertrand Meyer, ETH Z\"urich, Z\"urich},
    doi          = {10.5381/jot.2004.3.3.a3},
    identifier   = {05431344},
}