Hacker News new | ask | show | jobs
by rubberpoliceman 956 days ago
Also, http://www.numdam.org/item/SPHM_1979___2_A1_0.pdf