The Type Theory of Law - Novak (Springer International Publishing, 2016)