1. How can Christians formalize important business transactions?

Tín đồ đấng Christ có thể hợp thức hóa thế nào những khế ước thương nghiệp quan trọng?

2. The Production Quality Compiler-Compiler project at Carnegie-Mellon University does not formalize semantics, but does have a semi-formal framework for machine description.

Dự án Production Quality Compiler-Compiler ở Đại học Carnegie-Mellon không hình thức hoá ngữ nghĩa nhưng có một framework bán hình thức cho mô tả máy tính.