A Manual for the Performance Library - 9781461655947