Title: Healthiness versus realizability in predicate transformers
Subjects: Programming languages (Electronic computers)