Investigations into Formal Slavic Linguistics