Robert D. Tennent Language Design Methods Based on Semantic Principles Acta Inf. 8 1977 97-112 db/journals/acta/acta8.html#Tennent77