Theoretical Aspects of Computer Software Martin Abadi