On the shape of mathematical arguments, Volume 445 (1990)

by A J M van Gasteren
Venue:of Lecture Notes in Computer Science. Springer-Verlag. Foreword by