contact:
    Walter W. Wilson
    wwwilson1 @ sbcglobal . net
    (I would like to hear from anyone interested in this language.)

papers on axiomatic language:

A Minimal Specification Language, LOPSTR 2000 Pre-Proceedings.
(slides)

Beyond PROLOG: Software Specification by Grammar, SIGPLAN Notices, Sept. 1982, pp.34-43.
(ACM link)

A Long-Term Logic Programming Language, ALP Newsletter, May 2004.

Specifying Input/Output by Enumeration, PLDI 2010 FIT: Fun Ideas and Thoughts (blog).

ICLP 2011 Doctoral Consortium submission: "Implementation of Axiomatic Language" (report, slides).

A Language for Engineering Design, 2007 NASA-ESA Workshop on Product Data Exchange (pdf).