Elephant 2000: A Programming Language Based on Speech Acts (1998)

www-formal.stanford.edu