Z notation: A programming language </>