Title: Modularizing the specification of a small database system in extended ML
First published: 1991