@techreport{macrakis93-interface,
	author      = {Macrakis, Stavros},
	title       = {Reliable interface definition and checking:
	               {ANDF} for {COSE}},
	institution = {Open Software Foundation},
	month       = {5},
	year        = {1993},
	file        = {Macrakis93-interface.pdf},
	file        = {Macrakis93-interface.ps},
}