Books and publications by Mikko Hypponen