Part IV: RESOLVE components in Ada and C++. - Joseph E. Hollingsworth; Sethu Sreerama; Bruce W. Weide; Sergey Zhupanov (ACM SIGSOFT Softw. Eng. Notes, 1994)