[devman]

This reminded me the good old days when I was writing a CLU compiler based on the spec found in the russian translation of Liskov's Abstraction and Specification book. :-)