Bruce I. Blum Knowledge-Based Software Engineering: A Different Approach. 1-6 1990 conf/seke/1990 SEKE db/conf/seke/seke1990.html#Blum90