Pursuit of the very highest efficiency yet again … by a procedural programming language like Fortran or … propositional connective, but rather by sequential composition, usually … with Q only when P terminates.
Google-1
Google-2
Copyright clearance needed for quotation.