Recht Ex Machina: Formalisierung Des Rechts Im Internet Der Dienste door Oliver Raabe & Richard Wacker