John D. Riley Sangiv Dungari William Pritchett An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation. 273-278 1997 TRI-Ada http://doi.acm.org/10.1145/269629.269656 db/conf/sigada/triada97.html#RileyDP97