A formal design kernel language for describing (sequential) software systems in intermediate stages of their design.