You might also find David Harel's article "Can Programming Be Liberated, Period?" (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.3837) interesting. He takes quite a different approach to "specification" of system behavior, as well as programming in general.
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc