Title: A functional unit notation for punched card systems