Jon G. Hall Lucia Rapanotti Michael Jackson Problem Oriented Software Engineering: A design-theoretic framework for software engineering. 15-24 2007 conf/sefm/2007 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.29 db/conf/sefm/sefm2007.html#HallRJ07