Ensiklopedi singkat astronomi dan ilmu yang bertautan - dkk. (ITB, 1980)