Ahmad, Tohari, Institut Teknologi Sepuluh Nopember, Indonesia