Păsăreanu. (2013). Formal Aspects of Component Software (1.). Springer Berlin Heidelberg.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रPăsăreanu. Formal Aspects of Component Software. 1. Springer Berlin Heidelberg, 2013.
एमएलए (8वां संस्करण) प्रशस्ति पत्रPăsăreanu. Formal Aspects of Component Software. 1. Springer Berlin Heidelberg, 2013.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.