Stephen Pollard. Transfinite Recursion in a Theory of Properties. Math. Log. Q., 32(19-24):307-314, 1986. [doi]
@article{Pollard86,
title = {Transfinite Recursion in a Theory of Properties},
author = {Stephen Pollard},
year = {1986},
doi = {10.1002/malq.19860321903},
url = {http://dx.doi.org/10.1002/malq.19860321903},
researchr = {https://researchr.org/publication/Pollard86},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {32},
number = {19-24},
pages = {307-314},
}