(print-short "Oscar Figueiredo" "Oscar.Figueiredo@di.epfl.ch")
(print-short "David Fletcher" "frodo@tsunami.com")
(print-short "Paul Flinders" "ptf@delcam.co.uk")
(print-short "Oscar Figueiredo" "Oscar.Figueiredo@di.epfl.ch")
(print-short "David Fletcher" "frodo@tsunami.com")
(print-short "Paul Flinders" "ptf@delcam.co.uk")