Translucent Procedures: Abstraction without Opacity (1993) [pdf]
apps.dtic.mil