Matthias Jantzen and Rüdiger Valk.
A solution to problem 24(iii).
EATCS-Bulletin, 21:203-204, 1983.
@article{Jantzen+83,
Author = {Jantzen, Matthias and Valk, R{\"u}diger},
Journal = {EATCS-Bulletin},
Pages = {203--204},
Publisher = {EATCS},
Title = {A solution to problem 24(iii)},
Volume = 21,
Year = 1983
}