Howard Bowman John Derrick Ed Brinksma Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. 577-578 2000 26 IEEE Trans. Software Eng. 7 http://doi.ieeecomputersociety.org/10.1109/TSE.2000.859528 db/journals/tse/tse26.html#BowmanDB00