Penganalisa lojik berbantuan komputer pribadi (Fakultas Teknik Universitas Indonesia, 1992)