Informality in Program Specifications.

Robert Balzer, Neil M. Goldman, David S. Wile

Browse the full IJCAI paper archive.