retyping old papers in modern notation - View it on GitHub