Similar to Object_Constraint_Language

• 

  ラムダ計算

  Lambda calculus
  
• 

  レコード管理サービス

  Record Management Services