Zhao, Rinard, 2003. Pipa: A Behavioral Interface Specification Language for Aspect, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-36578-8_11