Bibliography for program logic models/logframe analysis