I found the article while browsing Dr. David R. Wilkins' lecture notes [0], I recommend them if you are looking for some good math notes.
[0] https://www.maths.tcd.ie/~dwilkins/Courses/