North-Holland
Science of Computer Programming
Computer Security

Arbab, F. (2005). Abstract Behavior Types: a foundation model for components and their composition. Science of Computer Programming, 55(1-3), 3–52.