A Manual for the Performance Library - 9780810858718