Theoretical Aspects of Computer Software door B. Pierce & Naoki Kobayashi