Temporal Logic of Programs by Fred Kr Ger