Horst, J.
, Messina, E.
, Kramer, T.
and Huang, H.
(1997),
Precise Definition of Software Component Specifications, Proceedings of the 7th Symposium on Computer-Aided Control System Design (CACSD '97), Gent, BE, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=820590
(Accessed February 17, 2025)