Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
COLD-K
Jump to user comments
Formal design kernel language for describing (sequential)
software systems in intermediate stages of their design.