Phaidon theatre manual. (Phaidon, 1988)