Information and computation (Elsevier, 1987)
Gesehen am 16.07.13