Informasi yang berkaitan dengan as/Z notation