Computer- und Internetstrafrecht - ein Grundriss, 2. Auflage. - Eric Hilgendorf; Brian Valerius (Springer, 2012)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. - Albert Rizaldi; Jonas Keinholz; Monika Huber 001; Jochen Feldle; Fabian Immler; Matthias Althoff; Eric Hilgendorf; Tobias Nipkow (IFM, 2017)