Michael Anderson: Note on the mortality problem for shift state trees. Notre Dame J. Formal Log. 10(3): 275-276 (1969)