Oege de Moor. Inductive Data Types for Predicate Transformers. Inf. Process. Lett., 43(3):113-117, 1992.
@article{Moor92,
title = {Inductive Data Types for Predicate Transformers},
author = {Oege de Moor},
year = {1992},
tags = {data-flow},
researchr = {https://researchr.org/publication/Moor92},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {43},
number = {3},
pages = {113-117},
}