Theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. [1] [2] [3]