@book{compref132,
   author = {Girard,JY},
   year = {1987},
   title = {Proof Theory and Logical Complexity},
   publisher = {Bibliopolis},
   address = {Naples}
}