method of computer program specification
Predicative programming