7Miguel A García, Diego R Llanos, César de Prada.A Configurable ACSL-based Interface Generator for Simulated Systems [J]. Simula- tion, 1999, 73(4): 206-212.
8Engler D R.Interface Compilation: Steps Toward Compiling Program Interfaces as Languages [J].IEEE Transactions on Software Engineer- ing, 1999, 25(3): 387-400.