정확하고 명료히 작성된 문서의 컴퓨터 과학 버전.
결과를 정확히 계산할 수 있도록 보장된 단계.
각 단계는 기본 연산으로 표현, 연산은 어떤 개체가 수행하여도 이해하도록 상세하고 정확하게 명시되어있다.
한치의 모호함을 허용하지 않으며 모든 구성 요소는 입력 데이터의 유형도 제공한다.
모든 상황을 다루며 이후 무엇을 할지도 명시되어야 한다.
처리 데이터 양에 따라 계산에 소요되는 시간을 표현하는 방법. (시간은 단계의 의미를 가지며 실제 시간은 하드웨어에 따라 차이를 보인다.)