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 }