oliver goodenough (vermont law school)
envisioning a capable legal specification language