R. D. Tennant

• Se mantic analysis of specification logic