The specification logic \(\nu \)Z
scientific article; zbMATH DE number 5073787