FM(ID:3343/fm:001)

Database programming language

Structures:
References:
  • Representing FM in Isabelle (1994) R.J. Blok view details External link: Page at Citeseer