Foundations of Simplified Integrity Checking Reviewed | Publicación