Text this: Theoretical Aspects of Computer Software