Troquard, Nicolas (September 2011), "Learning and practice of the Property Specification Language (review of A Practical Introduction to PSL)", IEEE Design & Test of Computers, 28 (5): 110–111, doi:10.1109/mdt.2011.111, S2CID19261305
Troquard, Nicolas (September 2011), "Learning and practice of the Property Specification Language (review of A Practical Introduction to PSL)", IEEE Design & Test of Computers, 28 (5): 110–111, doi:10.1109/mdt.2011.111, S2CID19261305