An informal approach to formal specifications