The STURM Library Manual (1994)

by Hoon Hong, Andreas Neubacher, Volker Stahl