Richard Banach Michael Poppleton Czeslaw Jeske Susan Stepney 301-329 2007 67 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/j.scico.2007.04.002 db/journals/scp/scp67.html#BanachPJS07