Program design which is provably correct - Martin, James, 1933-2013 (Savant research studies, 1982)
Rejstř.