Specification of Machine