I don't know of anything concrete, but looking for information about Pascal's p-code approach might be useful; given its historic significance and relative prom

I don't know of anything concrete, but looking for information about Pascal's p-code approach might be useful; given its historic significance and relative prominence, there's probably some decent information about it.