Peter W. Markstein: Operating System Specification using very High Level Dictions. New York University, USA 1975