See here our PI_IS BOOK, edited by Prof. Sara Landini