A little combinatory parser in VDM-SL