SECDてこれ？
ttp://en.wikipedia.org/wiki/SECD_machine
面白そうですな。ちょっと読んでみるよ。