An example of formal specification as an aid to design and development. - Robert B. Terwilliger; Mark J. Maybee; Leon J. Osterweil (IWSSD, 1989)

Multilanguage Interoperability in Distributed Systems. - Mark J. Maybee; Dennis Heimbigner; Leon J. Osterweil (ICSE, 1996)