https://suarajakarta.co/lifestyle/teknologi/membanggakan-inilah-pabrik-mesin-sandi-pertama-di-indonesia/
Membanggakan, Inilah Pabrik Mesin Sandi Pertama di Indonesia