A simple mathematically based framework for rule extraction from an arbitrary programming language | IEEE Conference Publication | IEEE Xplore