https://9lib.org/document/y96rdn3l-specyfikacje-formalne-specyfikacje-formalne.html