E. A. Kazmierczak

• Modularizing the specification of a small database system in extended ML