Stem preci$ (all stems)

3 papers:

ASE-2011-SagdeoAKV #clustering #invariant #named #using

PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.

CHI-1992-GrayJA #bibliography #validation

The precis of Project Ernestine or an overview of a validation of GOMS (WDG, BEJ, MEA), pp. 307–312.

POPL-1979-ConstableJ

A PL/CV Precis (RLC, SJ), pp. 7–20.