Použití rovností při specifikacích programů - Smičková, Marie (1986)