Proof Of Normal Subgroups and Factor Groups Based on Java Programming Language. - Ngarap Im Manik (ICCSCI, 2017)