[计] formal functional programming system
xíng shì hán shù chéng xù shè jì xì tǒng ㄒㄧㄥˊ ㄕˋ ㄏㄢˊ ㄕㄨˋ ㄔㄥˊ ㄒㄩˋ ㄕㄜˋ ㄐㄧˋ ㄒㄧˋ ㄊㄨㄥˇ
形式函数程序设计系统