John McCarthy Elephant 2000: a programming language based on speech acts. 723-724 2007 conf/oopsla/2007c OOPSLA Companion http://doi.acm.org/10.1145/1297846.1297852 db/conf/oopsla/oopsla2007c.html#McCarthy07