Displaying similar documents to “A Formal, Object-Oriented Approach to the Machine Interference Model”