First steps towards BC specification