How to Make View-Independent Program Models
westoncb.blogspot.com
westoncb.blogspot.com
I'd be happy to answer any questions and to hear your analyses!
Edit: also, if you are very familiar with this domain already, you can probably just look at the series of images depicting this scheme for constructing program models (as well as the sample program model '(2 2 0 1 3 0 0 3)'—and that will probably be sufficient.