"A note concerning intermittent assertions."

Dianne E. Britton, Ralph B. McLaughlin, Richard J. Orgass (1977)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics