SPI

Medical abbreviations:
SPI

Semantics, Proof, and Implementation