Basyir, Muhammad, Institut Teknologi Bandung, Indonesia