Pelantikan Letjen TNI Tjokropranolo sebagai Gub.DKI oleh Menteri Dalam Negeri Amir Machmud di DPRD DKI Jakarta, 29 September 1977 (IPPHOS, 1977)