[1] is a particular one regarding specification languages and types. its background description about a "rabidly pro-types" referee is quite interesting... [1]

[1] is a particular one regarding specification languages and types. its background description about a "rabidly pro-types" referee is quite interesting... [1] http://lamport.azurewebsites.net/pubs/pubs.html#lamport-types http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...