A classification of smooth convex 3-polytopes with at most 16 lattice points - Anders Lundman (2012)