The purposes of this study were to understand the nature of discourse in
terms of knowledge types and cognitive process, source of utterances (student or teacher),
and time use in microcomputer-based labs (MBL) and verification type labs (VTL) and to
gain an understanding of the role of MBL in promoting mathematization