Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies. - Douglas Stott Parker Jr.; Kamran Parsaye-Ghomi (SIGMOD Conference, 1980)

Algebraic Denotational Semantics Using Parameterized Abstract Modules. - Joseph A. Goguen; Kamran Parsaye-Ghomi (ICFPC, 1981)