Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 - Moggi, Eugenio; Rosolini, Giuseppe (Springer, 1997)