ed ashcroftは、1975年の論文「proving assertions about parallel programs」で不変性を紹介した。