Applications of formal methods — Michael G. Hinchey in English | Zenodot