Object-Process Diagrams as an Explicit Algorithm Specification Tool