Title: Theoretical Aspects of Computer Software