1
by Prisco, Guido, Pisano, Eva, Clarke, Andrew
Published 1998
Springer Milan

2
by Prisco, Guido
Published 1991
Springer Berlin Heidelberg