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