Data Refinement Refined

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
Ձևաչափ:	Record
Հրապարակվել է:	1985

Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր