Roughly includes material in ACM Subject Classes I.3.5 and F.2.2.