A semantic model of a small typed functional language using Object-Z | IEEE Conference Publication | IEEE Xplore