Lee, can you provide an example of another programming language that implements this or a thesis that describes this problem in more depth?
This is sort of a p5p question but the above might cut this off at the knees (or better show a gap that needs to be filled).