Owen Traynor Daniel Hazel Peter Kearney Andrew Martin Ray Nickson Luke Wildman The Cogito Development System. 586-591 1997 conf/amast/1997 AMAST db/conf/amast/amast97.html#TraynorHKMNW97