Added Abstract System example