Πολυμορφικός συμπερασμός τύπων επιτυχίας στη γλώσσα Erlang - Κοτσιφάκου, Μαρία Π. (N/A, 1970)