Paul R. Taylor Problem Frames and Object-Oriented Software Architecture. 70-81 2000 conf/tools/37-2000 TOOLS (37) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.891359 db/conf/tools/tools37-2000.html#Taylor00