Zaslat SMS: Selected Bibliography of Jan Bažant 1974–2012