A Procedure for Designing Abstract Interfaces for Device Interface Modules. - K. H. Britton; R. A. Parker; David Lorge Parnas (ICSE, 1981)