Jasa kesiagaan informasi - DARJOTO, Sri Widatoen (LIPI, 1980)