Operating system specification using very high level dictions | lit.salon