English Pseudocode Cited by user Dimawik on 05 Oct 2023 In computer science, pseudocode is a plain language description of the steps in an algorithm or another system.
Russian TLA⁺ Cited by user РоманСузи on 13 Nov 2014 TLA+ — язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий .