in the mid-1950s and later modified

in the mid-1950s and later modified, formalized, and extended by A

ผลลัพธ์ (ไทย) 1:

ในช่วงกลางปี 1950 และภายหลังแก้ไข อย่างเป็น และเพิ่มเติมโดย

ผลลัพธ์ (ไทย) 2:

ในช่วงกลางปี​​ 1950 และมีการปรับเปลี่ยนในภายหลังกรงเล็บและขยายโดย

ผลลัพธ์ (ไทย) 3:

ใน - และต่อมาดัดแปลงเป็นทางการและขยายโดย