TEX for scientific documentation proceedings (Springer, 1986)