hey'
I think that elements of Measure theory,Set theory,real analysis and yes flow chartng all will come to play in the formulation of the subject but essentially this will be a new suject al together with axioms etc.. If you know of someone working on it do let me know.I'm a postgraduate student of Mathematics and would love to work on this.
Bye