⁵We have simplified the transformation of object-oriented modules into system modules that originally appeared in [80].