Modularising the specification of a small database system in extended ML Academic Article uri icon

publication date

  • January 1992