APA
GERARD O'REGAN, .RIGOROUS SOFTWARE DEVELOPMENT INTRODUCTION TO PROGARM VERIFICATION. LONDON: SPRINGER.
Chicago
GERARD O'REGAN, .RIGOROUS SOFTWARE DEVELOPMENT INTRODUCTION TO PROGARM VERIFICATION. LONDON: SPRINGER.
Harvard
GERARD O'REGAN, .RIGOROUS SOFTWARE DEVELOPMENT INTRODUCTION TO PROGARM VERIFICATION. LONDON: SPRINGER.
MLA
GERARD O'REGAN, .LONDON: SPRINGER. .